Programming languages - PDFSEARCH.IO - Document Search Engine

Programming languages
Results: 18154

#	Item
401	the state of hammer: ready for ics Sven M. Hallberg Adam Crain Meredith L. Patterson Sergey Bratus 26 Maymegaseconds since the Unix epoch LangSec workshop Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:21 Computing Software engineering Computer programming Formal languages Syntax Functional programming Parser combinator Parsing Null Combinator library DNP3 Shifting
402	For Immediate Release Contact Hollie FischerextBuild and Deploy Top-Quality Web Applications Using Add to Reading List Source URL: www.smartisans.com Language: English - Date: 2002-08-18 14:50:20 Software Computer programming Integrated development environments Microsoft BASIC Object-oriented programming languages Programming languages Apress Microsoft Visual Studio Visual Basic BASIC Dan Rahmel
403	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-30 05:58:05 Computing Abstract data types Concurrency control Concurrent computing Transaction processing Computer architecture Linearizability Concurrent programming languages Shared register Queue Sequential consistency XC
404	DomRobot XML-RPC API Documentation - This documentation describes the communication between client and API interface. Add to Reading List Source URL: www.inwx.at Language: English Computing Markup languages Web services Remote procedure call Internet protocols Object-oriented programming languages XML-RPC YAML Ruby Java
405	NumPy User Guide ReleaseWritten by the NumPy community May 29, 2016 Add to Reading List Source URL: docs.scipy.org Language: English - Date: 2016-05-29 04:42:09 Software Application software Array programming languages Cross-platform software Linear algebra NumPy SciPy Mathematical software Array data type Array programming Array data structure MATLAB
406	RCUK Gateway to Research Project Document GATEWAY TO RESEARCH (GTRAPI AND CERIF ONLY) APIS Add to Reading List Source URL: blogs.rcuk.ac.uk Language: English - Date: 2013-11-19 07:55:03 Computing Technical communication Markup languages World Wide Web Hypertext Transfer Protocol Web API Application programming interface Resource fork
407	Modularization of ecological models Basic ideas of . . . ∗ Joachim Benz Add to Reading List Source URL: www.ecobas.org Language: English - Date: 2004-08-05 06:08:28 Computing Modularity BASIC Software engineering Computer programming XHTML HTML Markup languages
408	Programming Model and Synthesis for Low-power Spatial Architectures Add to Reading List Source URL: pl.eecs.berkeley.edu Language: English - Date: 2015-02-13 21:22:05 Software engineering Programming language theory Computer programming C++ Data types Concurrent programming languages C Procedural programming languages XC Const C++ classes Typedef
409	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
410	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system

UPDATE